Définition :
Soit \(p\) un nombre premier et \(r=\frac ab\) un rationnel
Alors on pose : $${{v_p(r)}}:={{v_p(a)-v_p(b)}}$$
Cette définition ne dépend pas du représentant \(a/b\) choisi pour \(r\)
Pour zéro
Définition :
Soit \(p\) un nombre premier
On pose : $$v_p({{0}}):={{+\infty}}$$
